ripgrep: bump to 15.0.0
authorPaul Donald <[email protected]>
Sun, 19 Oct 2025 00:03:48 +0000 (02:03 +0200)
committerHannu Nyman <[email protected]>
Sat, 25 Oct 2025 05:24:39 +0000 (08:24 +0300)
commit53bda392cef5a8234e4895730f40484725d3bc3c
tree24fce7202ed4756e601f81c45e18aa769b68ea7b
parentba5bc1a43a9ec18ea5569976ea7f59aea3713663
ripgrep: bump to 15.0.0

release notes:
https://github.com/BurntSushi/ripgrep/releases/tag/15.0.0

patch dropped - integrated upstream.

Signed-off-by: Paul Donald <[email protected]>
utils/ripgrep/Makefile
utils/ripgrep/patches/010-fix-riscv64.patch [deleted file]